A theorem proving framework for the formal verification of Web Services Composition Petros Papapanagiotou Jacques D. Fleuriot

Source URL: rap.dsi.unifi.it

3cixty@Expo Milano 2015 Enabling Visitors to Explore a Smart City Giuseppe Rizzo,1 Raph¨ ael Troncy,1 Oscar Corcho,2 Anthony Jameson,3 Julien Plu,1 Juan Carlos Ballesteros Hermida,2 Ahmad Assaf,1 Catalin Barbu,3 Adrian

Source URL: giusepperizzo.github.io

• Web services
• Knowledge engineering
• Semantic Web
• Data management
• Ontology
• Data integration
• SPARQL
• Database
• Web 2.0

Sorting 100 TB on Google Compute Engine Michael Conley Amin Vahdat George Porter

Source URL: cseweb.ucsd.edu

• Cloud infrastructure
• Parallel computing
• Cloud computing
• Web services
• Distributed computing architecture
• MapReduce
• Solid-state drive
• Google Compute Engine
• Apache Hadoop
• Data-intensive computing
• Amazon Elastic Compute Cloud
• Hyper-V

Identity, Location, Disease and More: Inferring Your Secrets from Android Public Resources Xiaoyong Zhou1 , Soteris Demetriou2 , Dongjing He2 , Muhammad Naveed2 , Xiaorui Pan1 , XiaoFeng Wang1 , Carl A. Gunter2 , Klara N

Source URL: web.engr.illinois.edu

• Software
• Computing
• Computer architecture
• Smartphones
• Mobile operating systems
• Social networking services
• Android
• Mobile security
• Twitter
• Here WeGo
• IOS
• Mobile deep linking

Automating Isolation and Least Privilege in Web Services Aaron Blankstein and Michael J. Freedman Department of Computer Science Princeton University Princeton, USA and

Source URL: www.princeton.edu

Mayhem in the Push Clouds: Understanding and Mitigating Security Hazards in Mobile Push-Messaging Services Tongxin Li1 , Xiaoyong Zhou2,4 , Luyi Xing2 , Yeonjoon Lee2 , Muhammad Naveed3 , XiaoFeng Wang2 and Xinhui Han1 1

Source URL: web.engr.illinois.edu

• Instant messaging clients
• Mobile telecommunications
• Cross-platform software
• Freeware
• Portable software
• Google Cloud Messaging
• Android Cloud to Device Messaging
• WhatsApp
• Google Play
• Google Talk
• Skype
• Mobile application development

Exmo bibliographyaguirre2012a] José Luis Aguirre, Bernardo Cuenca Grau, Kai Eckert, Jérôme Euzenat, Alfio Ferrara, Willem Robert van Hage, Laura Hollink, Ernesto Jiménez-Ruiz, Christian Meilicke, Andri

Source URL: exmo.inria.fr

• Computing
• Semantic Web
• Information science
• World Wide Web Consortium
• Knowledge representation
• Resource Description Framework
• Knowledge engineering
• Web services
• RDF Schema
• Ontology
• SPARQL
• Conceptual graph

Digital Library Curriculum Development Module: 5-a: DL architectures Draft, Module name DL architectures 2. Scope

Source URL: curric.dlib.vt.edu

• Computing
• Information science
• Information
• Archival science
• Digital libraries
• Records management
• Web services
• Academic publishing
• Fedora Commons
• Protocol for Metadata Harvesting
• Open Archives Initiative
• Service-oriented architecture

Menu of services offered and pricing Social Media Content Management Package includes:  Services Provided o Researching of topics that interest your client base

Source URL: www.kelleynco.com

• Software
• Digital media
• Computing
• Social media
• Social networking services
• Social information processing
• Web 2.0
• Blog hosting services
• Facebook

Monetize your website with a full-funnel marketing system. Less buzz, more relevance Don’t just deliver ads. Deliver helpful, personalized marketing that guides people to discover the products and services that will h

Source URL: banno.com

• Marketing
• World Wide Web
• Internet marketing
• Internet advertising
• Advertising
• Click-through rate
• Consumer behaviour
• Rates
• Targeted advertising
• Personalized marketing